Results for 'Marcelo Moraes E. Silva'

956 found
Order:
  1. Relação e Efeitos Bioquímico-nutricionais Sobre a Involução Uterina Retardada em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE A INVOLUÇÃO UTERINA RETARDADA EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- 2. INVOLUÇÃO UTERINA RETARDADA -/- A involução uterina retardada é uma desordem reprodutiva parcialmente ocasionada por problemas nutricionais. Terminados os mecanismos do parto, os órgãos genitais da fêmea sofrerá alterações em seu tamanho, peso e forma, eles reduzem de tamanho até sua normalização, esse processo é conhecido como involução (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Relação e Efeitos Bioquímico-nutricionais Sobre o Catarro Genital II e III em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE O CATARRO GENITAL II E III EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- 4. CATARRO GENITAL II E III -/- O catarro genital ou metrite (inflamação do miométrio) é uma inflamação inespecífica no trato genital. Existem duas barreiras que impedem a chegada de germes ao interior do trato genital. As barreiras de tipo hemático (diferença de fluxo sanguíneo) e imunossupressão (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Relação e Efeitos Bioquímico-nutricionais Sobre os Cios ou Estros Silenciosos em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS CIOS OU ESTROS SILENCIOSOS EM VACAS E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede CIOS OU ESTROS SILENCIOSOS EM BOVINOS INTRODUÇÃO Um cio ou "estro silencioso" ocorre quando as mudanças ováricas são normais, mesmo com ovulação, mas não há comportamento estral. Isso não deve ser confundido com um estro não observado devido a falha na detecção do mesmo. A ocorrência do cio ou (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. (1 other version)Relação e Efeitos Bioquímico-nutricionais Sobre o Cio ou Estro Permanente em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE O CIO OU ESTRO PERMANENTE EM VACAS -/- -/- E. I. C. da Silva -/- Departamento de Agropecuária – IFPE Campus Belo Jardim -/- Departamento de Zootecnia – UFRPE sede -/- -/- CIO OU ESTRO PERMANENTE EM BOVINOS -/- -/- INTRODUÇÃO -/- Quando se apresentam alterações na regulação estrogênica ou sobe a inibição dos folículos terciários, pode chegar-se a manifestações de cio ou estro prolongado ou permanente, sabendo-se que a duração normal e em média (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. A Educação de Jovens e Adultos como Transformação Social.Emanuel Isaque Cordeiro da Silva & Meuri Rusy Maria do Nascimento - 2017 - Dissertation,
    Monografia apresentada à banca examinadora da Escola Municipal Manuel Teodoro de Arruda, anexa do Colégio Frei Cassiano de Comacchio em Belo Jardim, para a obtenção do título de concluinte do curso de Normal Médio, oferecido pela instituição. A natureza do trabalho, em suma, consiste em apresentar perspectivas de trans formação social para a comunidade de jovens e adultos, o principal programa cunho do trabalho é a Educação de Jovens e Adultos a EJA, e como esse programa intervém na sociabilidade e (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Ovulação Retardada e Anovulação em Vacas: Causas Nutricionais.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE A OVULAÇÃO RETARDADA E A ANOVULAÇÃO EM VACAS -/- -/- Emanuel Isaque Cordeiro da Silva -/- Departamento de Agropecuária – IFPE Campus Belo Jardim -/- [email protected] ou [email protected] -/- WhatsApp: (82)98143-8399 -/- -/- 13. OVULAÇÃO RETARDADA -/- A ovulação retardada é uma situação de alteração fisiológica com diferentes origens. A falha em si, ocasiona assincronia nos tempos de liberação dos gametas. O óvulo é liberado tempo depois que os sinais corporais de estro terminaram, dessa (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. O Mundo Contemporâneo: Crescimento e Distribuição da População Mundial.Emanuel Isaque Cordeiro da Silva - manuscript
    O MUNDO CONTEMPORÂNEO: CRESCIMENTO E DISTRIBUIÇÃO DA POPULAÇÃO MUNDIAL -/- -/- THE CONTEMPORANY WORLD: GROWTH AND DISTRIBUTION OF WORLD POPULATION -/- -/- Emanuel Isaque Cordeiro da Silva - IFPE-BJ/CAP-UFPE/ /UFRPE. [email protected] e [email protected]. (82)9.8143-8399 -/- PREMISSA -/- A população da Terra supera os 7,7 bilhões de habitantes , que se distribuem de forma desigual pela superfície do planeta. Em 2030, estima-se que serão mais de 8,6 bilhões de pessoas. As medidas para planejar o crescimento sustentável da população devem ser (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Estabelecimento da Gestação nos Animais.Emanuel Isaque Cordeiro da Silva - manuscript
    OBJETIVO A gestação nos mamíferos domésticos é um processo fisiológico que implica mudanças físicas, metabólicas e hormonais na fêmea, que culminam com o nascimento de um novo indivíduo. Desta forma, a compreensão de tais mudanças e como estas favorecem um ambiente ideal de desenvolvimento embrionário inicial, até a placentação e a fisiologia envolvidas durante esses processos é fundamental na tomada de decisões quanto à saúde reprodutiva da fêmea, na seleção de futuras matrizes e até mesmo para a saúde fetal e (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. O Ensino de Sociologia (Ciências Sociais).Emanuel Isaque Cordeiro da Silva - manuscript
    O ensino da Sociologia no Ensino Médio, ao considerar as indicações dos Parâmetros Curriculares Nacionais (PCN), tem como objetivo introduzir o aluno nos principais saberes referentes às questões conceituais e metodológicas que fundamentam a Sociologia, a Antropologia e a Ciência Política2 O contexto de transformação social inaugurado nos séculos XVIII e XIX e a busca pela compreensão científica deste processo vieram estruturar as grandes questões que permeiam este campo do saber. Os paradigmas fundantes da Sociologia, em seus esforços de interpretar (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Avicultura: Formação do Ovo.Emanuel Isaque Cordeiro da Silva - manuscript
    INTRODUÇÃO O ovo da galinha consiste em uma célula reprodutiva bastante comparável às encontrada nos mamíferos. Todavia, no caso da galinha, essa célula reprodutiva localiza- se na superfície da gema, sendo preenchida por albumens, membranas de casca, casca e cutícula. O ovário é responsável pela formação da gema; as porções restantes do ovo originam-se no canal do oviduto. • OVÁRIO No momento do desenvolvimento precoce do embrião, existem dois ovários e dois ovidutos, entretanto o conjunto ovário-oviduto direito atrofia-se, deixando apenas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. METODOLOGIA E MANEJO REPRODUTIVO APLICADO EM BOVINOS LEITEIROS.Bruna Cardoso Lemes, Gabriel Destefani de Souza, Jaqueline Aparecida Sousa Pereira, Jéssica Elizei Dande, Marcelo de Figueiredo Filiardi Filho, Vinícius de Moura Ribeiro Monticeli & Elizângela Guedes - 2022 - Revista Agroveterinária Do Sul de Minas 4 (1):153-172.
    Resumo: Sabe-se que a pecuária é uma parcela do agronegócio que move a economia do país, e incluso está a produção leiteira, que tem, a cada ano seu desenvolvimento elevado, de forma em que é priorizado a eficiência no aumento de sua produção, com o objetivo de suprir a demanda, e a maior rentabilidade do produtor. Diante disso, medidas de manejo reprodutivo e alimentar são adotadas, sendo estas capazes de elevar a produtividade com o menor custo possível. O trabalho objetivou (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Considerações legais e forenses do aborto infeccioso bovino na “Saúde Única”: Revisão (18th edition).Jackson Barros Do Amaral, Vinícius José Moreira Nogueira & Wendell da Luz Silva (eds.) - 2024 - Londrina: Pubvet.
    In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Adição de minerais na ração e sua influência nos índices reprodutivos em ruminantes.R. E. S. C. GALVÃO - 2024 - Dissertation, Instituto Federal de Educação, Ciência e Tecnologia de Pernambuco - Ifpe Campus Belo Jardim
    Os minerais possuem uma influência direta em diversos processos fisiológicos no organismo animal e, mesmo com tamanha importância, por vezes são negligenciados pelos produtores para seu fornecimento para os animais. Este estudo teve como objetivo avaliar o desempenho reprodutivo de rebanhos de bovinos, caprinos e ovinos em 8 propriedades rurais nas cidades de Sanharó, Pesqueira, Arcoverde, Belo Jardim e São Bento do Una através da adição de suplemento mineral e mistura múltipla aos animais de forma a atender suas necessidades básicas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Imagem e Semelhança no de Hominis Opificio de Gregório de Nissa.Rogério de Paula E. Silva - 2015 - Dissertation, Unifesp, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  16. O conceito de doxa (opinião) em Aristóteles.Christiani Margareth de Menezes E. Silva - 2016 - Linha d'Água 29 (2):43-67.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Noção de Representação na Ciência da Informação: Concepções a Partir da Filosofia de Arthur Schopenhauer.Julianne Teixeira E. Silva - 2016 - Dissertation, Ufpb, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  18. O Ensino de Língua Portuguesa e Literatura na Sala de Aula.Isabel de Oliveira E. Silva Monguilhott & Et Alli - 2017 - In Júnior Atilio Butturi (ed.), Estudos Interdisciplinares de Língua, Literatura e Tradução. Editora CRV. pp. 253-266.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  20. Filosofia da Linguagem e da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).Marcelo Carvalho, Celso Braida, João Carlos Salles & Marcelo E. Coniglio (eds.) - 2015 - ANPOF.
    Download  
     
    Export citation  
     
    Bookmark  
  21. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Some investigations on mbC and mCi.Marcelo E. Coniglio & Tarcísio G. Rodrígues - 2014 - In Cezar A. Mortari (ed.), Tópicos de lógicas não clássicas. NEL/UFSC. pp. 11-70.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. On the expressive power of Łukasiewicz square operator.Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio & Lluis Godo - forthcoming - Journal of Logic and Computation.
    The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. O que é metafísica.Jaimir Conte & Oscar Federico Bauchwitz - 2011 - Natal, RN, Brasil: Editora da UFRN.
    Atas do III Colóquio Internacional de Metafísica. [ISBN 978-85-7273-730-2]. Sumário: 1. Prazer, desejo e amor-paixão no texto de Lucrécio, por Antonio Júlio Garcia Freire; 2. Anaximandro: física, metafísica e direito, por Celso Martins Azar Filho; 3. Carta a Guimarães Rosa, por Cícero Cunha Bezerra; 4. Ante ens, non ens: La primacía de La negación em El neoplatonismo medievel, por Claudia D’Amico; 5. Metafísica e neoplatonismo, por David G. Santos; 6. Movimento e tempo no pensamento de Epicuro, por Everton da (...) Rocha; 7. Críticas e elogios de Nietzche a Sócrates, por Fernanda Bulhões; 8. Sobre a Metafísica ou a respeito do jejum, por Gilvan Fogel; 9. A origem estética da ontologia hermenêutica de Luigi Pareyson, por Íris Fátima da Silva; 10. A Natureza da filosofia de Hume, por Jaimir Conte; 11. Logique ET métaphysique, por Jean-Baptiste Jainet; 12. Blaise Pascal: da recusa da metafísica da raison à metafísica do « estudo do homem », por João Emiliano Fotaleza de Aquino; 13. O niilismo no prólogo de Assim Falou Zaratustra. Por José Elielton de Sousa; 14. Presencia;Ausência: de Plotino a Procolo, por José Maria Zamora; 15. A natureza do Eros platônico, por Jovelina Maria Ramos de Souza; 16. Breve comentário acerca da origem da Gelassenheit de Heidegger a partir da mística de mestre Eckkart, por Luiz Fernando Fontes-Teixeira; 17. Humanismo e domesticação em Regras para o parque humano, por Luiz Roberto Alves dos Santos; 18. Contra a teoria de dois mundos na filosofia de Platão (República V 476e-478e), por Marcelo Pimenta Marques; 19. Sensações, impressões, projeções: as afecções do pensamento, por Markus Figueira da Silva; 20. Contribuições à história de uma metáfora: Heidegger e Nicolau de Cusa, por Oscar Federico Bauchwitz; 21. Uma impossibilidade ontológica em Schopenhauer, por Paulo César Oliveira Vasconcelos; 22. Ser e fenômeno: a Fenomenologia como teoria estética da ciência, por Pedro Paulo Coroa; 23. Para que serve a Metafísica de Aristóteles? O exemplo do movimento animal, por Pierre-marie Morel; 24. Contribuições para uma ontologia digital, por Rafael Capurro; 25. O que é o fim da metafísica, por Rodrigo Ribeiro Alves Neto; 26. A Physis na conformação do logos: linguagem e pensamento no corpus epicúreo, por Rodrigo Vidal do Nascimento; 27. O acontecimento de mundo na era da informação, por Soraya Guimarães da Silva; 28. Apofaticismo e abstração em Mark Rothko, por Vanessa Alves de Lacerda Santos. -/- . (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.
    In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Weakly Free Multialgebras.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Bulletin of the Section of Logic 51 (1):109-141.
    In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. A model-theoretic analysis of Fidel-structures for mbC.Marcelo E. Coniglio - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 189-216.
    In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton Peron - 2020 - Logic Journal of the IGPL 28 (3):281-315.
    Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Genuine paracomplete logics.Verónica Borja Macías, Marcelo E. Coniglio & Alejandro Hernández-Tello - 2023 - Logic Journal of the IGPL 31 (5):961-987.
    In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Paraconsistent Belief Revision based on a formal consistency operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
    In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  33. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  34. G'3 as the logic of modal 3-valued Heyting algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
    In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. (1 other version)Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Marco Ruffino, Max Freund & Max Fernández de Castro (eds.), Logic and philosophy of logic. Recent trends from Latin America and Spain. College Publications. pp. 48-74.
    This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Recovery operators, paraconsistency and duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  99
    EFEITO DA APLICAÇÃO DO GNRH NO INÍCIO DOS PROTOCOLOS DE IATF, À BASE DE ESTRÓGENO E PROGESTERONA, SOBRE A PRENHEZ POR IATF DE VACAS LEITEIRAS MESTIÇAS.Lorrany Evelyn Tavares - 2023 - Dissertation, Universidade Federal de Uberlândia - Ufu
    RESUMO A inseminação artificial em tempo fixo (IATF) é uma das biotecnologias de reprodução mais estudadas dos últimos anos, e a busca pelo equilíbrio entre a fisiologia animal e o controle hormonal fomenta uma série de estudos. Sendo assim, o objetivo com este trabalho foi avaliar a eficiência da aplicação do hormônio liberador de gonadotrofinas (GnRH) no dia zero (D0) do protocolo de IATF, a base de estrógeno e progesterona sobre a taxa de penhez por IATF. O experimento foi desenvolvido (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. A categorial approach to the combination of logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.
    In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Non-deterministic algebras and algebraization of logics.Ana Claudia Golzio & Marcelo E. Coniglio - 2015 - Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. CONSIDERAÇÕES ACERCA DO PAR CONTRADITÓRIO DE PROPOSIÇÕES NO DE INTERPRETATIONE DE ARISTÓTELES.Édison Martinho da Silva Difante & Gefferson Silva da Silveira - 2013 - Seara Filosófica 7:99-109.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Nobiltà, ‘divizie’ e riflesso in Dante.Augusto Nava Mora - 2020 - Revista Española de Filosofía Medieval 27 (1):15-45.
    L’articolo illustra il modo in cui Dante ha utilizzato le fonti medievali nel campo dell’ottica e degli exempla dei bestiari per costruire analogie al fine di ragionare delle ricchezze e della nobiltà. Il testo analizza, in particolare, Purg. XVII 1-9, Cv. II iv 16-17, III vii, ix, alcuni frammenti della canzone Le dolci rime e il relativo commento in Cv. IV. Alla fine dell’articolo si espone il contrappunto filosofico che Dante offre alle vicende storiche del suo tempo.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Monismo anômalo: uma reconstrução e revisão da literatura.Marcelo Fischborn - 2014 - Principia: An International Journal of Epistemology 18 (1):53-66.
    Este artigo reconstrói os argumentos de Donald Davidson (1970) em favor de sua teoria do monismo anômalo e revisa as principais críticas que recebeu. Essa teoria é amplamente rejeitada atualmente e, dadas as inúmeras críticas recebidas, é razoável concluir que qualquer tentativa de reabilitação tem um longo caminho pela frente. A diversidade dessas críticas sugere que não há consenso sobre por que exatamente o monismo anômalo fracassa, embora as dificuldades pareçam convergir sobre a justificação e possibilidade da tese monista, e (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Gilberto Gomes é mesmo um compatibilista?Marcelo Fischborn - 2018 - Filosofia Unisinos 19 (3):179-188.
    This paper focuses on Gilberto Gomes’ work on free will. In a series of contributions that have had a significant impact on the respective literature, Gomes developed a conception about free will and argued that its existence is consistent with recent scientific findings, specially in neuroscience. In this paper, I object to a claim of Gomes about his conception of free will, namely the claim that it is a compatibilist conception. I seek to show that Gomes does not use the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Entre ética e dialética: defronte a Platão e Gadamer.Marcelo Perine - 2020 - Filosofia Unisinos 21 (2).
    From Gadamer's Habilitation thesis, “Plato’s dialectical ethics. Phenomenological Interpretations Relating to the Philebus” (1928), this article seeks to highlight the fundamental lines of Plato’s image, outlined in that author’s first philosophical publication (1931). The confrontation with the themes of ethics and dialectic, in the current state of Platonic studies, indicates that in Plato’s image drawn in the early confrontation with the Philebus, clearly influenced by the phenomenological notion of Dasein, one already finds the fundamental features of what will become Gadamer's (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Aprimoramento das práticas punitivas e prevenção distal do crime: uma alternativa ao ceticismo sobre a responsabilidade moral.Marcelo Fischborn - 2022 - Princípios 29 (59).
    Resumo: Em décadas recentes, a investigação filosófica sobre a responsabilidade moral e o livre-arbítrio, que por muito tempo foi vista como um empreendimento principalmente teórico, passou a também incluir preocupações de tipo mais prático. Essa mudança é bem ilustrada pela proposta cética desenvolvida por autores como Derk Pereboom e Gregg Caruso. Seus trabalhos não apenas negam que sejamos agentes livres e moralmente responsáveis (em um sentido específico dos termos em questão), mas também defendem reformas na maneira como a responsabilização é (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  93
    EDUCAÇÃO DESUMANIZADORA SOB OBSERVAÇÃO E REFLEXÃO: A educação e escola como instrumentos de luta e resistência ou de conservação, domesticação, alienação e subordinação.Marcelo Barboza Duarte - 2020 - Revista Observatório (Issn Nº 2447-4266) 6:1-20.
    O artigo em tela tem como objetivo refletir sobre as contradições, antagonismos e problemáticas que envolvem a educação, seus modos e processos; bem como a escola, a pedagogia, o Estado e o sistema capitalista. Para tanto, começamos ressaltando ainda a infeliz ineficiência da função e papel que a estrutura educacional e escolar desempenha. Ineficiência objetiva e controlada por um empresariado e políticos brasileiros que se colocam a disposição de em primeiro lugar defender os interesses do capital internacional, do capital nacional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Saúde e Biotecnologia.Nathalia Lobato Moraes & Lucas Mateus Pinheiro Alves - 2022 - Horizontes da Biotecnologia.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Correspondências de 1643 entre Descartes e Elisabeth.Marcelo Fischborn - 2013 - Inquietude 4 (1):170-187.
    Tradução de correspondências trocadas entre Descartes e Elisabeth no ano de 1643, nas quais discutem a tese cartesiana da alma como imaterial e inextensa.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 956